Nuprl Definition : w-initially
0,22
postcript
pdf
(
x
initially
i
) == s(
i
;0).
x
latex
clarification:
w-initially(
w
;
x
;
i
) == w-s(
w
;
i
; 0;
x
)
latex
Definitions
s(
i
;
t
).
x
,
#$n
FDL editor aliases
w-initially
origin